From Computer Science to the Informational Worldview. Philosophical Interpretations of Some Computer Science Concepts

Philosophical Issues in Computer Science

The traditional overlap between computer science and philosophy centres upon the issue of in what sense a computer may be said to think. A lesser known issue of potential common interest is the ontology of the semantics computer science assigns to programming languages such as Pascal or Java. We argue that the usual purely mathematical approach of denotational semantics necessarily excludes imp...

From Constructivism to Computer Science

My eld is mathematical logic, with a special interest in constructivism, and I would not dare to call myself a computer scientist. But some computer scientists regard my work as a contribution to their eld; and in this text I shall try to explain how this is possible, by taking a look at the history of ideas. I want to describe how two interrelated ideas, connected with the con-structivistic tr...

Control from computer science

This paper presents some of the principles underlying verification and controller synthesis techniques for discrete dynamical systems developed within Computer Science along with some ideas to extend them to continuous and hybrid systems. Hopefully, this will provide control theorists and engineers with an additional perspective of their discipline as seen by a sympathetic outsider, uncommitted...

Computer Science in Context – Pathways to Computer Science

In order to increase participation in Computer Science (CS), contextual approaches are often suggested for teaching. Although these approaches are quite promising, we do not know what exactly context means and how CS teaching should implement these approaches. In the broadest sense CS in context means that CS is linked to subject areas outside CS, helping students to perceive CS as a meaningful...

Some Aspects of Categories in Computer Science